Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
41	Advances in Cognitive SystemsSubmitted; publishedLearning General and Efficient Representations of Novel Games Through Interactive Instruction Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:35:25 Logic Linguistics Philosophy Grammar Predicate logic Mathematical logic Propositional calculus Ontology Predicate Argument First-order logic Clause
42	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
43	I’m leaking oil and looking for a garage: Testing conditions on meaning transfer Sam Featherston, Klaus von Heusinger & Hanna Weiland∗ July 13, 2011 Abstract Add to Reading List Source URL: gerlin.phil-fak.uni-koeln.de Language: English - Date: 2011-07-13 07:27:28 Linguistics Logic Lexical semantics Psycholinguistics Grammar Semantics Propositional calculus Control Polysemy Argument Predicate transfer Predicate
44	1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2014-02-09 12:29:53 Logic Mathematical logic Computing Formal methods Predicate logic Finite model theory Computer programming Invariant First-order logic Daikon FO Chord
45	Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Logic Theoretical computer science Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Hoare logic Predicate transformer semantics Permutation Closed and exact differential forms
46	predicate logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:18 Logic Mathematical logic Predicate logic Propositional calculus Model theory Syntax First-order logic Well-formed formula Proposition Functional predicate Predicate variable Universal quantification
47	Armstrong’s Metaphysics and Philosophy of Mathematics Introduction In this paper I will do four things. First, I shall briefly discuss Armstrong’smetaphysics with special attention to his mereology. This shal Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-10-01 17:10:20 Philosophy Ontology Metaphysics Mereology Chemical bonding Mathematical logic Predicate logic Nominalism Simple Problem of universals Universal Covalent bond
48	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
49	COGNITION Cognition376 ELSEVIER Similar, and similar concepts Add to Reading List Source URL: www.ircs.upenn.edu Language: English - Date: 2012-12-19 16:20:36 Semantics Grammar Logic Linguistics Predicate Symmetry Selection Similarity Dependency grammar Language Prototype theory
50	Computational ontologies of parthood, componenthood, and containment Thomas Bittner and Maureen Donnelly IFOMIS, Saarland University Abstract Parthood, componenthood, and containment relations are commonly assumed in bio Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2005-03-16 11:22:26 Mathematics Algebra Logic Predicate logic Mathematical logic Ontology Topology Algebraic structures Mereology Metric Ring Binary relation